981. Semantics of type theory : correctness, completeness, and independence results
Author: / Thomas Streicher
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory
Classification :
QA76
.
7
.
S82
1991
982. Semantics with applications
Author: / Hanne Riis Nielson and Flemming Nielson
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
7
,.
N543
,
2007
983. Setting up LAMP :
Author: Eric Rosebrock ; Eric Filson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Apache (Computer file : Apache Group),Linux.,MySQL (Electronic resource),Apache (Computer file : Apache Group),Linux.,MySQL (Electronic resource),PHP (Computer program language),Web sites-- Design.,COMPUTERS-- Programming Languages-- JavaScript.,COMPUTERS-- Programming Languages-- VBScript.,PHP (Computer program language),Web sites-- Design.
Classification :
QA76
.
73
.
P224
R67
2004eb
984. Simple program schemes and formal languages
Author: Engelfriet, Joost.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages,، Programming )Electronic computers(
Classification :
QA
267
.
3
.
E53
985. Simple program schemes and formal languages
Author: Engelfriet, Joost
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Formal languages,، Programming )Electronic computers(
Classification :
QA
267
.
3
.
E53
986. Software Engineering; an Advancd Course
Author: edited by F. L. Bauer
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming- Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
A33
1972a
987. Software System Design Methods :
Author: edited by Jozef K. Skwirzynski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
76
.
D47
E358
1986
988. Software engineerin
Author: Pratap K. J. Mohapatra
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programming,Programming languages (Electronic computers),Electronic books., lcsh
Classification :
QA
،
76
.
6
،.
M64
,
2010eb
989. Software engineering
Author: Pratap K. J. Mohapatra.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
.
M64
2010eb
990. Software engineering
Author: Pratap K. J. Mohapatra.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
.
M64
2010eb
991. Software engineering: developments
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Addresses, essays, lectures,، Computer programs-- Addresses, essays, lectures,، Programming languages )Electronic computers(-- Addresses, essays, lectures
Classification :
QA
76
.
6
.
S7
992. Software language engineering :
Author: Anneke Kleppe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Programming languages (Electronic computers),Software engineering.,Computer software-- Development.,Computer software-- Development.,Programming languages (Electronic computers),Programming languages (Electronic computers),Software engineering.,Software engineering.
Classification :
QA76
.
7
.
K576
2009
993. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
Author: SLE 8002)8002 :Toulouse, France(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
Classification :
QA
76
.
7
.
S587
2008
994. Software language engineering : third international conference, SLE 2010, the Netherlands, October 12-13, 2010 : revised selected papers
Author: Malloy, Brian
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering -- Congresses,، Programming languages )Electronic computers( -- Congresses,، Programming languages )Electronic computers(
Classification :
QA76
.
7
.
S587
2010
995. Software programming languages
Author: prepared by the course team
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer software,، Programming languages )Electronic computers(
Classification :
QA
76
.
755
.
S66
1973
996. Software studies
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software. ; Computers and civilization ; Encyclopedias. ; Programming languages (Electronic computers) ; Lexicography. ; Technology and the arts. ;
997. Software studies
Author: / edited by Matthew Fuller
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software.,Computers and civilization--Encyclopedias,Programming languages (Electronic computers)--Lexicography,Technology and the arts.
Classification :
QA
,
76
.
754
,.
S64723
,
2008
998. Some assembly required :
Author: Timothy S. Margush
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Assembly languages (Electronic computers),Atmel AVR microcontroller-- Programming
Classification :
TJ223
.
P76
M36
2012
999. Source Code Analytics With Roslyn and JavaScript Data Visualization /
Author: Sudipta Mukherjee ; foreword by Darius Blasband
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.
Classification :
QA76
.
754
.
M85
2016
